La Logique Classique, ARISTOTELICIENNE, -350 av-J.C
  
  &  
 
La Logique Canonique Classique, LCC, (1901-1983)
  
expression de TARSKI,
     
 
 
     
  sur la Logique Classique Aristotélicienne,  
       
  Lectures   
     
  - Logique Classique, sur wikipedia,  
       
 

- Organon, ARISTOTE,
   Organon, I, II, III, IV, V, Vrin, 1994, *,
   et voir Organon, Aristote -> Aristote sur gaogoa,
- Logique d'Aristote, source remacle,
- L'Organon, wikipedia,

- Les Premiers Analytiques, ARISTOTE, remacle, et docteurangelique,

 
compléments :
Traités Analytiques, cosmovisions,
     
  - La logique de LEIBNITZ, Louis COUTURAT, sur Bnf.GAllica,
    dont :  Précis de logique classique, Bnf.Gallica, p443		  
       
  - La syllogistique d'Aristote, dans la perspective de la logique formelle moderne. LUKASIEWICZ Jan, Vrin, 1972, 2010  
     
  - la structure intrinsèque de la logique classique, JMV20150602, p11  
     
  - La Logique classique est moebienne, ce qui veut dire qu'elle correspond à des surfaces qui n'ont qu'une seule face, alors que la Logique modifié est bilatère, soit des surfaces à deux faces distinctes.  
JM.VAPPEREAU
     
  Définitions,  
     
  - L'étude de l'oeuvre d'ARISTOTE était l'objet des Petits Mystères de l'enseignement néo-platonicien, enseignement initial donnant accès aux Grands Mystères, soit l'Etude de la biographie d'ARISTOCLES-PLATON et de ses oeuvres.  

Etudes Aristotéliciennes,
       
  Aristote ne garda de la dialectique que la technique de raisonnement : à la différence de l’analytique, fondée sur des propositions certaines, elle était définie par Aristote comme l’art des raisonnements, opérant avec des principes seulement probables, et n’ayant donc pas pour objet la démonstration (Topiques).

La dialectique ne représentait donc plus l’accès certain au vrai et perdait dès lors son rôle fondamental dans la philosophie.		  
       
 

La logique d'Aristote est présentée dans six documents connus sous le nom d'Organon. Deux de ces documents, les Premiers Analytiques et De l'interprétation, contiennent l'étude des jugements et de l'inférence formelle et c'est cette partie des œuvres d'Aristote qui est passée à la postérité.

L'étude contemporaine sur la logique d'Aristote a été initiée par Jan Łukasiewicz.
Ensuite, l'approche de Jan Lukasiewicz a été approfondie au début des années 1970 par John Corcoran (en) et Timothy Smiley.

  

wikipedia,
     
 

La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique.
A cette époque, le terme de logique classique fait référence à la logique aristotélicienne1,2.

La logique classique est caractérisée par des postulats qui la fondent et la différencient de la logique intuitionniste, exprimés dans le formalisme du calcul des propositions ou du calcul des prédicats :

Ces principes sont équivalents par raisonnement intuitionniste, c’est-à-dire que l'on peut montrer que n'importe lequel d'entre eux permet de déduire les autres en utilisant les règles intuitionnistes.

On y ajoute généralement l'une des lois de De Morgan : ¬ ( A ∧ B ) ⇒ ( ¬ A ∨ ¬ B )

Ces principes contribuent au fait que les modèles calculatoires de la logique classique sont beaucoup plus complexes que ceux de la logique intuitionniste.

Le principe

( A ⇒ B ) ∨ ( B ⇒ A )

est valide en logique classique, et n'est pas démontrable en logique intuitionniste3, mais son adjonction à la logique intuitionniste n'engendre pas la logique classique.
suite sur wikipedia,

 

wikipedia,
     
   
  sur la Logique Canonique Classique, LCC, (1901-1983)  
expression de TARSKI,
       
  Lectures    
       
     
  - LCC in l'Amour du tout, 2 eme partie,( L2T2, ), J-M.VAPPEREAU,  
  - Méthode de Logique, WV.O.QUINE, 1950  
  - Philosophie de la logique, WV.O.QUINE, 1975,  
  - Logique de la découverte scientifique, K.POPPER,1973,  
     
  Définitions,    
     
  Logique Canonique Classique, LCC,  
  - Ce langage (LCC) est constitué par :
La vérifonctionalité (calcul des propositions, algèbre des classes) et
La théorie de la quantification (langage des prédicats), 		 
- La LCC,
in L'amour du tout aujourd'hui, 2 eme partie, JMV, 1992, -
  - L'expression est de Alfred TARSKI;  
TARSKI.A,
     
 
- La logique canonique classique, LCC, correspond aux Perceptions signes, Ps, (la découpe) , et à une partie de l'Inconscient, Ics, et jusqu'au théorème de d'incomplétude de Goedel (dans Ics). Ps et Ics articulé à l'Autre. Il y a un Trou dans Ps (formé du Trauma : les parent ne s'entendent pas crier) et de la Scène parentale primitive).
Donc la LCC s'étend dans S2T2, dans le premier, c'est la vérification, ( le calcul de la coordination, et dont la vérifonctionnalité et l'algèbre de Boole) à S1T1, dans le primaire, c'est la quantification, jusqu'à la barrière du Théorème d'incomplétude de Gödel, ( le calcul des propositions et des concepts, la syllogistique d'Aristote, et la quantification)
- voir LCC
  

JM.VAPPEREAU,

 

- Math et topologie
en schéma L,
schéma L augmenté,
schéma F,